Modellbasierte Entwicklung und Automatische Code-Generierung für sicherheitskritische Anwendungen
نویسنده
چکیده
Modellbasierte Entwicklung und automatische Seriencode-Generierung haben in den vergangenen Jahren insbesondere in der Automobilindustrie weite Verbreitung gefunden. Die Automobilindustrie begegnet mit Hilfe dieser Methoden den steigenden Anforderungen, der gestiegenen Komplexität und den kürzeren Entwicklungszeiten. Gleichzeitig werden mehr und mehr sicherheitsrelevante Systeme in heutigen Fahrzeugen verbaut. Zu nennen sind hier Systeme wie ACC, ESP, Aktivlenkung oder Integriertes Chassismanagement, die durch direkten Lenkund/oder Bremseingriff sowie eine dynamische Verteilung der Antriebsmomente auf das Fahrzeug einwirken. Um eine einheitliche und allgemein anerkannte Vorgehensweise für die Entwicklung sicherheitsrelevanter Systeme zu etablieren, wird derzeit eine automobilspezifische Sicherheitsnorm, die ISO 26262, von Automobilherstellern, Zulieferern und Dienstleistern weltweit erarbeitet. Schon heute orientieren sich Automobilhersteller und Zulieferer an dem aktuellen Committee Draft der ISO 26262, der im Sommer 2008 verabschiedet worden ist. 1 Neuer Sicherheitsstandard für elektronische Systeme in
منابع مشابه
Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme
Zusammenfassung Heutige Systeme werden immer komplexer. Damit werden auch die Entwicklung und der Test immer aufwändiger. Entsprechende Komplexitätstreiber gibt es viele. In diesem Artikel fokussieren wir auf den Komplexitätstreiber der ständig steigenden Anzahl von Produktvarianten, wie er insb. im mobilen Umfeld häufig anzutreffen ist. Wir beschreiben zwei Ansätze, wie man für die Qualitätssi...
متن کاملSoftware-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung
Angesichts der zunehmenden Verwendung von Software bei der Realisierung sicherheitskritischer und hochverfügbarer Systeme wächst die Bedeutung der Nachweisbarkeit nicht-funktionaler Eigenschaften wie der Funktionssicherheit und der Zuverlässigkeit – sowohl bei der Entwicklung wie auch bei der Zertifizierung derartiger Systeme. Dem daraus resultierenden Anspruch an Nachvollziehbarkeit, an Rigoro...
متن کاملIndustrielle Praxis modellbasierter Entwicklung im Bereich eingebetteter Systeme
Modellbasierte Entwicklung (MBE) ist eine verbreitete Entwicklungsmethode, die die Produktentwicklung verbessern soll. Es existieren nur wenige empirische Untersuchungen in Bezug auf MBE für eingebettete Systeme. Daraus motiviert sich unsere Umfrage zur industriellen Praxis in diesem Bereich. Die Umfrage beinhaltete neben demographischen Fragen, auch Fragen zu den angewandten Sprachen und Werkz...
متن کاملDagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Si...
متن کاملAutomatische Generierung von Testsequenzen für GUI-basierte Anwendungen mit Ant Colony Optimization
Die Automatisierung des Tests von Anwendungen mit grafischer Benutzerschnittstelle (graphical user interface; GUI) ist trotz einer großen Anzahl von verfügbaren Testwerkzeugen in der Praxis immer noch unbefriedigend gelöst. GUI-Tests werden meist mit Capture-Replay-Werkzeugen aufgezeichnet und wieder abgespielt oder mit Hilfe von Testskripten implementiert. Bei Änderungen am grafischen Design d...
متن کامل